Kenyan police arrest 4 men for trying to join ISIS